# File Automaten.rb, line 496
        def setZustaende(zust)
                @zustaende = zust
                return self
        end