Erste Test-Cases für den Automaten wurden erstellt. Allerdings gibt es
noch ein Problem bei der Ausführung der Methode testCase(...)