Mittelhochdeutsches Handwörterbuch.