Internationell grufarbetarekongress i Aachen Aachen den 25 majEn