Deutsche Biographie - Krieger, Johann Philipp

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

Deutsche Biographie