Philip Rogers — civil servant 1914–1990