Mining and Drilling Law: German Democratic Republic and the Federal Republic of Germany