för sjelfva Operan ha betingat en kostnad af omkring 400,000 kr , och terrassbyggnaden i sin helhet , inclusive sten- och jernarbeten , omkring 250,000 kronor.