Weyl, Olaf (Prof)