Su nombre de nacimiento fue Maginulfo.