Translation of "Betriebsruhezeit" in English