Kleinere Umformulierungen