A new German and English dictionary,