# File Automaten.rb, line 46
  def copy
         return Item.new(@item, @rechtskontext.copy)
        end