Hoeveel mensen werken er bij de AIVD?

Er werken ruim 1750 mensen bij de AIVD.