SMS dit: Althochdeutscher Sprachschatz oder Wörterbuch der althochdeutschen Sprache