Title: Das Entscheidungsproblem für einige Erweiterungen der Nachfolger-Arithmetik