Pero Eginardo no habla de ello en su biografía sobre el emperador.