Lehmann, August Otto
Lehmann, August Otto.