Michael Jenkins had a long career as a senior diplomat. He was Deputy Secretary-General of the European Commission and served as the British Ambassador to the Netherlands from 1988 to 1993, among other postings. He was knighted in 1990 and died in 2013.