OpenPGP keys used by Karel Zak
