Episode 80 of Legend of the Galactic Heroes