Czech cryptologists discover bug in OpenPGP format