what spacecrafts are manufactured by nec toshiba space systems, ltd.?
(AND spaceflight.spacecraft (JOIN spaceflight.spacecraft.manufacturer m.0x0h0h6))