Episode 9 of Legend of the Galactic Heroes