Title: Pocket dictionary of the German and English languages