Translation of "Hilfsrechnung" in English