Den internationella grufarbetarekongr essen.