professor ; Gripenstedt , I.