Från operasäsongen i Berlin.