Vita Mahumeti of Embrico of Mainz: legend and history