Title: New German-English pocket dictionary