D. Ziegler (Hg.), Geschichte des deutschen Bergbaus (Jean-François Eck)