. "Himmelmann, Nikolaus (1929-2013)"@de .