English ⇔ German / Englisch ⇔ Deutsch 🔎 extended search file header DeutschEnglish Datei-Header {m} [inform.]file header [noun]