Deutsche Biographie - Koch, Joseph Anton

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

Deutsche Biographie