Deutsche Biographie - Mülhens, Peter Joseph

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

Deutsche Biographie