theatern i Edinburgh har den6