Porsche and VW deal done