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