# File automaten.rb, line 547
        def zustaende_each &b
         @zustaende.each &b
        end