which spacecraft manufacturer manufactured the space station?
(AND spaceflight.satellite_manufacturer (JOIN spaceflight.satellite_manufacturer.spacecraft_manufactured m.03wky))