Das Hockney-Gemälde, das vom Londoner Royal Opera House verkauft wurde, ist bei Christie's für umgerechnet rund 14,2 Millionen Euro versteigert worden.