# File Automaten.rb, line 524
        def laden(dateiname)
                File.open(dateiname, "r") do |f|
                        Marshal.load(f)
                end
        end