Super­data­maskin fra boksuksess skal erstattes. Kan bli Europas kraftigste