Title: Althochdeutsches Wörterbuch
First published: 1952