Another of that WWII generation, now all but gone. They all seem to have come out of the same mould, much like our own much lamented Danny42C, self effacing with a sense of humour that disguised a deeply felt sense of duty. We are all the poorer for their passing.
RIP, Sir. Duty Done.