http://de.wikipedia.org/wiki/Erkki_Hopf