Translation of "Regiestundensatz" in English