Über den Bergbau in Spanien - Hoppensack, Johann Martin (1796)