Treaty between the Kingdom of the Netherlands and the Federal Republic of Germany concerning the lateral delimitation of the continental shelf in the vicinity of the coast