„Carmen“ an der Deutschen Oper Berlin © Realgestalt/ Deutsche Oper