HoreKa: Hocheffizienter Supercomputer wird in Karlsruhe eing