Pocket dictionary of the English-Dutch and Dutch-English languages