Title: Rabenhorst's Pocket dictionary of the German and English languages