örn bildande af en internationel grufarbetarförening.