What if Batman: The Animated Series was produced by Lucasfilm?