English ⇔ German / Englisch ⇔ Deutsch 🔎 extended search open cover DeutschEnglish offene Überdeckung [mat.]open cover [noun]