senaste mansåldern , som Edinburghs kgl teater brunnit ned.