Docenten Julius Lange hedersdoktor.