Title: History of the Theatre Royal, Dublin