Gesammelte Abhandlungen. - Weyl, Hermann, 1885-1955 (Springer-Verlag, 1968)