English ⇔ German / Englisch ⇔ Deutsch 🔎 extended search Ausgabedatei DeutschEnglish Ausgabedatei {f} [inform.]output file [noun]