which spacecraft manufacturer manufactured astra 1a?
(AND spaceflight.satellite_manufacturer (JOIN spaceflight.satellite_manufacturer.spacecraft_manufactured m.07cndv))