Altdeutsches Wörterbuch von Oste.