af den 16 d:s ha trupperna efter en häftig strid intagit de strejkande grufarbetarnes hufvudqvarter.