Berliner Philharmonie: Das Dach muss erneuert werden