English ⇔ German / Englisch ⇔ Deutsch 🔎 extended search archivierte Datei DeutschEnglish archivierte Datei [inform.]archived file