Wörterbuch Englisch Deutsch 🔎 extended search file header DeutschEnglish Datei-Header {m} [inform.]file header [noun]