millioner realer och ntgjorde en rik ersättning för förlusten af » Covadonga ».