Ocurría esto en el año 875 y es la referencia directa a Badajoz más antigua que se conoce.