öfverstelöjtnant Lagerheim , e. o.professor