Agreement between the Kingdom of the Netherlands and the Federal Republic of Germany concerning the merging of border control operations and the establishment of joint and transfer railway stations at the Dutch-German border