Grimm, Dt. Wörterbuch Neubearbeitung von Jacob Grimm und Wilhelm Grimm (1999, Taschenbuch)