Mittelhochdeutsches Wörterbuch, mit Benutzung des Nachlasses von Georg Friedrich Benecke