Das Skript wurde aktualisiert. Morgen wird der Beweis der äußeren Regularität skizziert.