Hartlaub, Gustav, Prof.