Uitvoeringswet Nederlands-Duits Grensverdrag:artikel 12