# File Automaten.rb, line 480
        def getZustaende
         @zustaende
        end