what is the numerical amount of spacecrafts finmeccanica manufactured?
(COUNT (AND spaceflight.spacecraft (JOIN (R spaceflight.satellite_manufacturer.spacecraft_manufactured) m.02r3h1)))