鉱山鏨- 坑内で岩石を割り砕き加工するために鉱夫が用いるくさび形またはのみ形の工具
keil- oder meißelförmiges Werkzeug, das Bergleute verwenden, um Gestein in Bergwerken zu durchbrechen und zu bearbeiten
