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