600 Millionen Euro Rechenzeit und eine Verdopplung auf drei Milliarden: Die KI-in-der-Wissenschaft-Strategie setzt auf ein virtuelles Institut 8. Oktober 2025