which spacecraft manufacturer manufactured vega 1?
(AND spaceflight.satellite_manufacturer (JOIN spaceflight.satellite_manufacturer.spacecraft_manufactured m.025s00p))