# File warshall.rb, line 186
        def speichern(dateiname)
                File.open(dateiname, "w") do |f|
                        Marshal.dump(@basis,f)
                        Marshal.dump(@vor,f)
                        Marshal.dump(@nach,f)
                end
        end