Title: Mittelhochdeutsches Taschenwörterbuch