H . Gravenhorst i Köbenhavn ,professor