Amendement van het lid Verhoeven ter vervanging van nr. 10 dat € 0,5 miljoen vrijmaakt voor open source encryptie projecten