Stav dette: The mining law of 1872