Formulierung in Definitionen vereinfacht; Textsetzung