Agreement between the Kingdom of the Netherlands and the Federal Republic of Germany to supplement the European Convention on Extradition of 13 December 1957 and to facilitate its application