Abschnitt übers Halteproblem abgeschlossen