noch ein paar : zu \colon geändert und zwei Kleinigkeiten