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