Die kleineren althochdeutschen sprachdenkmäler