Defensie is veruit de grootste werkgever, veel meer ambtenaren en groeibriljant ASML