Portefeuille Hochtief goed voor 5,3 miljard euro