in Real Estate Coronavirus: UK’s £37bn July house-buying boom sees busiest month of sales in a decade