# File Warshall.rb, line 221
        def nachfolger(x)
                if @nach[x]!=nil then return @nach[x] else return Menge.new([]) end
        end