Filmed production of Princess Ida.Filmed production of Princess Ida.Filmed production of Princess Ida.