Norway's GDP vs. the value of its oil fund (in trillion krone)