LEHMANN-Haupt, C.F., Prof. Innsbruck