“Norway's direct revenue from oil and gas activities, including taxes and dividends, has contributed 9,600 billion Norwegian kroner to the Pension Fund.”