Hurricane Irma: How badly hit were Florida Keys?

There is said to be devastation in the Florida Keys, one of the US areas hardest hit by Hurricane Irma. This is the story of a turbulent last few days on the archipelago.