Was Batman: The Long Halloween a spin-off from Batman: Legends of the Dark Knight?