Treaty amending and supplementing the Agreement of 18 January 1952 between the Kingdom of the Netherlands and the Federal Republic of Germany fixing a mining boundary between the coalfields situated to the east of the Netherlands-German frontier