A German-English and English-German Pocket-dictionary