Das Wort-Problem und algorithmische (Un)entscheidbarkeit.