There's been coverage of the funeral service, and of the crowds outside, on the TV news in the UK. I admit wondering aloud whether there was a gulag big enough for *that* many mourners, but I suspect (cf an article on BBC red button) that there'll be a fair number of people suddenly out of a job in two days' time.