Uitvoeringswet Nederlands-Duits Grensverdrag:artikel 10