DGS = R.B. Farrell, Dictionary of German Synonyms (3aed. Cambridge: Cambridge University Press, 1977)