Hermann weyl, the reluctant revolutionary