WEYL, Hermann