Köhler , G . , : Wörterbuch der bei Bergbau u . Auihereiiung angewend.