Translation of "Berechnungssatz" in English