keys.openpgp.org

We found an entry for miriam.mutter@student.kit.edu.

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

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