Deutsches Wörterbuch - Grimm, Jacob 1785-1863; Grimm, Wilhelm 1786-1859 (dtv, 1991)