Mijnbouwwet:artikel 80