Shrinkflation in the housing market