Translation of "Normalstundensatz" in English