Fidelio: Deutsche Oper Berlin (Bohm)