OpenPGP key used by Thomas Haller
