Wörterbuch Englisch Deutsch 🔎 extended search Ausgabedatei DeutschEnglish Ausgabedatei {f} [inform.]output file [noun]
