kleinere Änderungen der Formulierung