Jung, Johann Heinrich

1711 – 1786, Erfinder; Bergmann; Lehrer; Feldmesser; Bergschöffe; oranien-nassau Oberbergmeister