Bijlage : Overzicht geoormerkte budgetten digitalisering Defensie