Title: A new pocket dictionary of the English and German languages