add more todos
-improve subsection 3.1.3 ("Vergleich mit Verifast-Spezifikation" formerly "Variante mit Verifast")
-move todo