${lead}
#4: Der K Computer beim japanischen RIKEN-Institut mit SPARC64-VIII-Prozessoren war der erste, der 10 Petaflops-Marke knackte.
