Когда перевод почти не нужен: шахта, штрек, квершлаг, штольня, шурф - сплошь немецкие слова, говорящие о том, что именно немцы - родоначальники горнотехнического дела на земле.
Лава - русское слово (изначально шахтёры сидели на лавке, пока долбили). Перешло в немецкий. А слова ствол, забой - не перешли. Горным делом занимались все народы ещё с доисторических времён. Древнейшей шахтой на Земле считается рудник Нгвеня в Свазиленде на юге Африки - 43 тысячи лет назад здесь каменными топорами прорубили в скале десятиметровый туннель.