Internationella grufarbetarekongressen i Berlin.