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