i jemförelse med hvad Stora operan kostat.