The Hutchinson pocket dictionary of history.