Agreement between the Kingdom of the Netherlands and the Federal Republic of Germany concerning the mining of coal in the Netherlands-German frontier area west of Wegberg-Bruggen