Deutsche Biographie - Ernst, Paul

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

Deutsche Biographie