English ⇔ German / Englisch ⇔ Deutsch 🔎 extended search Batchdatei DeutschEnglish Batchdatei {f} [inform.]batch program [noun]