Title: German-English and English-German vest-pocket dictionary