[In Esaiam prophetam exegesis : ab eodem autore postremum recognita & locupletata / D. Haymonis episcopi halberstattensis - Aimon, ob. de Halberstadt, 778-853