English ⇔ German / Englisch ⇔ Deutsch 🔎 extended search Eingabedatei DeutschEnglish Eingabedatei {f} input file [noun]