grufägare och arbetare , som voro indragna i den stora engelskagrufstrejken