English ⇔ German / Englisch ⇔ Deutsch 🔎 extended search mining operation DeutschEnglish Bergwerksbetrieb {m} mining operation [noun]