keys.openpgp.org

We found an entry for mario.gemov@student.kit.edu.

https://keys.openpgp.org/vks/v1/by-fingerprint/547528498C1CDEAA4EF322F8D6CF9E69121ACD9F

Hint: It's more convenient to use keys.openpgp.org from your OpenPGP software.
Take a look at our usage guide for details.