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