In April 2013, Marvel and other Disney conglomerate components began announcing joint projects. What movie sci-fi franchise returned to Marvel in 2015?