Uitvoeringswet Nederlands-Duits Grensverdrag:artikel 20