Irish house prices: peak to trough back to peak?