"Fröhling, Otto. "