Deutsche Biographie - Rauchmiller, Mathias

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

Deutsche Biographie