A compendious German and English dictionary, with notation of correspondences and brief etymologies