ten Julius Krohn utnämnts .,