. . "Hopf" . "August" . "August Hopf" . .