London den 3 okt Omkring 10 , 000grufarbetare