# File Automaten.rb, line 41
        def +(it)
          return Item.new(@item + it.getItem, @rechtskontext)
        end