Sanierung der Philharmonie mit Ersatzbau: Es ginge auch kleiner und preiswerter