Archivmaterialien zu Petrus (Hispanus), ca. 13. Jh. - Petrus (Hispanus) ca. 13. Jh.