"Weyl" . "(Mathematiker)" . "Hermann" . "1885" . "Hermann Weyl" . "Hermann (Mathematiker) Weyl" . "1955" . . . .