H . Gravenhorst i Köbenhavn ,professorn