Agreement between the Kingdom of the Netherlands and the Federal Republic of Germany on the joint provision of information and navigation advice to shipping in the Ems estuary by means of shore radar and high-frequency radio installations