Brand in Berliner Philharmonie gelöscht

Laut Spiegel Online ist der Brand in der Berliner Philharmonie gelöscht:
http://www.spiegel.de/panorama/0,1518,554440,00.html