The beach season is officially over, having been extended by 15 days to September 30th, and, as usual, the statisticians have been busy.