Erklärendes Wörterbuch der im Bergbau, in der Hüttenkunde und in Salinenwerken