Fútbol: ¿Cuánto costó Rivaldo al Depor (en millones de pesetas)?