Dublin in 1707 : a year in the life of the city /