grufarbetare äro försedda med revolvrar.