Some facts on the Cray-3 deal