La Audiencia Nacional condena al Estado a indemnizar con 7.200 euros al juez Velasco