Aufgabe 12.18 (small changes, still not solved), 12.19, 12.20
Aufgabe 12.21