Deutsches Wörterbuch - Grimm, Jacob 1785-1863; Grimm, Wilhelm 1786-1859 (Dt. Taschenbuch-Verl., 1984)