# File automaten.rb, line 221
        def initialize (item)
                @items = Menge.new([])
                @items.add(item) if item != nil
        end