Carmen: Animé — Ernesto Halffter; Frankfurt Radio Symphony Orchestra, Mark Fitz-Gerald