danny devito starring as batman, gritty