# File Automaten.rb, line 107
        def to_s_rechts
                return "[" + @item + "]" if @rechtskontext==nil
                return "[" + @item + ";" + @rechtskontext.to_s + "]"
        end