Les Associations et syndicats miniers en Allemagne et principalement en Westphalie, par É. Gruner, — Édouard Gruner