af grufarbetare beslöts stor strejk.