What does Befehlsdatei mean?

Befehlsdatei - German to English

command file