Althochdeutsche Glossen zum Alten Testament : Genesis - Deuteronomium - Numeri - Josue - Judicum (Max Niemeyer Verlag, 1975)