How a Dublin house sold for €13.25m but stayed under