[Edinburgh : Festival Theatre?,