user a better document class
-complete section 3.1
-add more notes for section 4
-introduce chapter 6 (anhang)
- rename subsection about partial specification to "Reduzierte Spezifikationen: Robustheit als Ziel"
- add subsection "Lesbarkeit von Spezifikationen"
- write two subsections for section 3.2
- add notes for chapter 4