legend of the galactic heroes, japanese ova.