af en internationell grufarbetarförening.