Althochdeutsches Wörterbuch - Splett, Jochen (de Gruyter)