lageos-1 was manufactured by which spacecraft manufacturer?
(AND spaceflight.satellite_manufacturer (JOIN spaceflight.satellite_manufacturer.spacecraft_manufactured m.0x04fn7))