Hinweis: Diesen Automaten müssen Sie nicht-deterministisch ausführen. In den "Einstellungen" können Sie den entsprechenden Modus auswählen.