Deutsche Biographie - Koch, Joseph

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

Deutsche Biographie