# File rtex.rb, line 130
        def save( filename )
                @level        = 9    #take total endstatistic
                @texrun       = 0
                Tool.endstatistic( @endflag )
                if filename != File.basename( filename, '.log') + '.log'
                        puts "#{filename} not written (extension <> '.log')"
                        STDIN.getc if @@wait
                        exit 
                else
                        @log += "\nEnd Logger after #{@texrun} runs "
                        @log += "#{Time.now()} (needed #{Time.now() - @start} seconds)"
                        log = File.new(filename, 'w')
                        log.puts( @log )
                        log.close()
                end
        end