batman doet superman