5,000 grufarbetare hafva äfvenenhälligt