Det norske kjøper Marathon Oil Norge for 12,6 mrd