allmän grufarbetarestrejk , om arbetarne fasthålla vid sitt yrkande.