The closing ceremony of the Olympic Games: Records, a show by Thomas Jolly