John Winnifrith — British civil servant, 1908-1993