och Krokfors grufarbetare äro likaledes försäkrade.