Ny topp for Oljefondet målt i kroner: Verdt over 12.600 milliarder