Ravestein’s Skylift 3000: salvage of a submarine.