eutelsat 16c was manufactured by which manufacturer?
(AND spaceflight.satellite_manufacturer (JOIN spaceflight.satellite_manufacturer.spacecraft_manufactured m.0dp7_7))