att grufarbetarestrejken , som börjar i dag , är allmän.