The Royal Theatre i Edinburgh harbrunnit