KIT-CERT offers OpenPGP keys for secure communications. Please use wkd to get the current key:
gpg --auto-key-locate wkd --locate-external-keys cert ∂does-not-exist.kit edu
KIT-CERT Team PGP Keys
0x6A2D8E94DCAD110A