af en internationel grufarbetareförening.