der omkring l7o grufarbetare ( enligt andra uppgifter,