SMS: Unentscheidbarkeiten