arbetarne förstöra en del af grufbygnaderna , som försvarades af grufbetjente , beväpnade med revolvrar.