For a few years. But divide that fund by the population and it suddenly doesn't seem as much.

Human capital is far more valuable, but most of the industrial knowledge of Norway is in energy production.