Translation of "Gesetzesbuch" in English