"Steinmann, Laurenz. "