In the meantime, two different implementations of the key-server were created.
Gidon Ernst created a Scala version:
https://github.com/gernst/verifythis2020
I created a full java version (incl. a REST interface)
https://github.com/wadoon/keyserver-java/
Author: Alexander Weigl, weigl@kit.edu