"E. Hopf"