GrimmGrimm = Grimm (Jacob)/Grimm (Wilhelm), 1999 [1854–1971]. Deutsches Wörterbuch, réimpression en 33 volumes, Munich, Deutscher Taschenbuch Verlag, site internet : http://germazope.uni-trier.de/Projects/DWB.