— Kungliga teatern i Edinburgh blef den6