Richard Ollard — historian, biographer, editing staff, university teacher (1923-2007)