Dessa bolag äro Grängesbergs grufveaktiebolag,