Die Berliner Staatsoper trauert um ihren langjährigen Generalmusikdirektor