1,3 miljard voor Europees AI-infrabedrijf