Stenstrup ( geolog ) ;professorn