Agreement between the Government of the Kingdom of the Netherlands and the Government of the Federal Republic of Germany concerning the assistance to be provided by the Kingdom of the Netherlands for the management of real estate in Budel