Treaty between the Kingdom of the Netherlands and the Federal Republic of Germany concerning adjustments to the border (First Border Adjustment Treaty)