GUDELINUS, Petrus