Deutsche Biographie - Koch, Anton

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

Deutsche Biographie