đục mỏ- Dụng cụ hình nêm hoặc hình đục mà thợ mỏ dùng để phá vỡ và gia công đá trong hầm mỏ.
keil- oder meißelförmiges Werkzeug, das Bergleute verwenden, um Gestein in Bergwerken zu durchbrechen und zu bearbeiten