dit is hoe ingenieurs een gezonken cruiseschip van 114.000 ton hebben opgetild in een hersteloperatie van $1 miljard die twee jaar duurde