*
The industrial sector here includes manufacturing, mining, construction and power. In later parts of the paper, industry is used in the more narrow sense of manufacturing.