Title: Mittlehochdeutsches Taschenwörterbuch