It's amazing how often that music is used, once you know it. I don't recall ever having heard it before that day. Watching a programme just now about boxers after they retire, and up it pops again at a reflective moment. I wouldn't be at all surprised if it's a popular choice for City fans' funerals.