Translation of "Verfahrsatz" in English