Kurt Mehlhorn turns 70

https://www.mpi-inf.mpg.de/news/press-releases/2019/kurt-mehlhorn-wird-70/