New and complete English-German and German-English pocket dictionary, with the pronunciation of both languages, enriched with the technical terms of the arts and sciences