än 10,000 arbetare den 17 dennes gingo ned i grufvorna , ja,