örn det stora antal personer , som här i landet sysselsättas med grufbrytning — man antager siffran till 5—