THERMOTREX CORP