general mining law of 1872 wikipedia deutsch