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