Peter Carr - British public servant (1930-2017)