mortuus est Ranimirus (I) filius veremudi rex gallecie (I) et filius eius Ordonius (I) successit in regno" "(Historiae Minores XXVII)