Den af Riksdagen i underdånig skrifvelse af den 13 maj 1872 väckta fråga om förändrad gruflagstiftning bar hvad grufvor i allmänhet angårfått