Kungliga teatern i Edinburg,