In an idle moment, I came across a profile for JHR on Wikipedia,
stating that he died of AIDS a couple of weeks ago.
Is this someone being crass? Nothing on the MEN website. Perhaps
someone would like to remove this unamusing comment. No doubt a Munich
was responsible.

Spy No 3156A9K (as was)