i Prag , maskinarbetarne och cirka 8,000grufarbetare