Definitionen auf normale Schrift umgestellt.