Haken-Satz

13,10