Uitvoeringswet Nederlands-Duits Executieverdrag:Artikel 9 [Inwerkingtreding]