Title: Dutch-English and English-Dutch pocket dictionary