Treaty 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