Ifall Stora teatern skulle utbjudas på entreprenad,