Wörterbuch Englisch Deutsch 🔎 extended search Batchdatei DeutschEnglish Batchdatei {f} [inform.]batch program [noun]