Totalkostnaden för theaterhusets uppförande,