Translation of "Gesetzesauszüge" in English