Productions linked to Fidelio - Royal Opera House (2020) . 31