Halteproblembeweis ausführlich hinzugefügt