Title: Mittelhochdeutsches Taschenwrterbuch.