Dublin House Prices: A History of Booms and Busts from 1708-1949