Hermann Weyl und die Mathematik an der ETH Zürich, 1913–1930