Deutsche Biographie - Lenel, Otto

https://www.deutsche-biographie.de/gnd116899611.html#ndbcontent

Deutsche Biographie