MiracleMan/MarvelMan officially belongs to Marvel