-start writing section "Schleifeninvarianten"
-reduce paper margins
finish section on invariants