“A total of 4,000 billion Norwegian kroner has been withdrawn from Norway's Pension Fund over its lifetime to cover government budget deficits.”