Deutsches Wörterbuch - Kochs, Theodor; Grimm, Jacob; Grimm, Wilhelm