So Sony gives the Rights of Spiderman back to Marvel.