Værtjenesten StormGeo solgt for 3,6 milliarder kroner