General mining law of 1872 provisions July 8, 2019 16 32 64 128 General principles of eu law General rules of interpretation