Title: English­German Pocket Technical Dictionary