Episode 72 of Legend of the Galactic Heroes