Agreement amending article 12, paragraph 1 of the 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, concluded at The Hague on 30 May 1958