• 

  Deutsche Biographie - Koch, Heinrich Christoph

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

  Deutsche Biographie

• 

  Deutsche Biographie - Junghuhn, Franz

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

  Deutsche Biographie

---

---