Episode 13 of Legend of the Galactic Heroes