Althochdeutsche Grammatik.