What does Batchdatei mean?

Batchdatei - German to English

group file