Althochdeutsche Grammatik (Sammlung kurzer Grammatiken germanischer Dialekte)