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