grufdirektörerna ; i händelse de förkastas , skall allmän sträjk proklameras i grufdistriktet.