Title: pocket dictionary of the german and english languages