Thank goodness no property developers lost money. [[https://www.bbc.co.uk/news/articles/cdjn0ed8vj1o https://www.bbc.co.uk/news/articles/cdjn0ed8vj1o]]