¿Cuánto dinero se gastó el gobierno español en el seguimiento de Corinna?