Bull Tera 100: Europäischer Supercomputer durchbricht erstmals Petaflop-Grenze