örn bildande af en internationell grufarbetareförening.