. . "Hopf" . "Hans" . "Hans Hopf" . .