derom i de statistiska uppgifterna : “ Jernmalmsbrytningen har under de tio åren 1833 — 42 i medeltal uppgått till 243,750 sk$.