Wörterbuch Englisch Deutsch 🔎 extended search Eingabedatei DeutschEnglish Eingabedatei {f} input file [noun]