Norges bergverksdrift. Norway's mining industry (Norges offisielle statistikk.)