the Hungarian State Opera Orchestra, Chorus and Children’s Chorus