# File automaten.rb, line 251
        def to_s_rechts
                str = "{ "
                each{|i| str=str+i.to_s_rechts+", "}
                str = str[0, str.length()-2]
                str+= " }"
                return str
        end