PGP Inc. buys ViaCrypt (was: Zimmerman/ViaCrypt?)