Deutsche Biographie - Ernesti, Johann August

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

Deutsche Biographie