The theory of groups and quantum mechanics - Weyl, Hermann, 1885-1955