Halteproblem und Haltewahrscheinlichkeit