HP-Nachfolgefirma übernimmt Supercomputer-Spezialisten Cray