Deutsche Biographie - Mueller, Otto

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

Deutsche Biographie