# File Automaten.rb, line 90
        def ==(anOther)
                return ((@item == anOther.getItem)and (@rechtskontext == anOther.getRechtskontext))  if anOther!=nil
                return false
        end