sålunda , att operabyggnaden i sin helhet kostar 5 mill.