Del Bosque Radio – Bono de Navidad para jubilados: de cuánto y a quiénes corresponde