Thoresen , in fl.