Translation of "Hiebsatz" in English