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