Aufgabe 1 (formaler)