Typos

Anbei meine typo Korrekturen für den 13.06. Ich denke, dass die Definiton von Unabhängigkeit \forall b\in U: b \not\lhd U - {b} lauten muss (dass \not fehlte). Schau dir das nochmal an und korrigiere es ggf.