verldsrekordet förut var af Halvorsen satt till 9 min.