Deutsche Biographie - Platter, Felix

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

Deutsche Biographie