Title: Geschichte der Bergbau- und Hüttentechnik; Volume 1