1.   And Ariane itself may prove to be a white elephant, as smaller and cheaper satellite launching devices enter the market.

2.   A novel launching device, higher speed and an on-board audio system distinguish this Space Mountain from its counterparts at Disneyland and Walt Disney World.

3.   However, no launching device was found with the missiles, and police said they could not be used without such a device.

4.   No launching device was found with the missiles.

5.   There had been conflicting police reports earlier as to whether the grenades had launching devices.