which executive producer of halloween is grinch night is also an important person at marvel productions ?
SELECT DISTINCT var_uri where brack_open dbr_Halloween_Is_Grinch_Night dbo_executiveProducer var_uri sep_dot dbr_Marvel_Productions dbo_keyPerson var_uri brack_close