Wann ist ein Algorithmus terminiert?