Update entscheidbarkeit.tex

Typo