Hopf, Hans.