Translation of "Verfahrsätze" in English