Title: New pocket dictionary, English to German