Komische Opera di Berlin terus melakukan renovasi meskipun ada pemotongan anggaran