Les syndicats industriels et en particulier les syndicats miniers en Allemagne — Édouard Gruner