Deutsche Biographie - Ponten, Josef

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

Deutsche Biographie