El texto carolingio dice lo siguiente: