och underjordiska industrier , följaktligen heller inte grufstrejker!