which spacecrafts do astrium satellites manufacture?
(AND spaceflight.spacecraft (JOIN spaceflight.spacecraft.manufacturer m.0py_c))