Antalet af de sträjkandegrufarbetarne