Title: Geschichte der Bergbau- und Hüttentechnik : Erster Band