Monuments littéraires du vieux-haut-allemand, par C. Diez, — Charles Diez