My friend told me that Ronaldinho is coming out of retirement to play for Barcelona again. Did anyone else hear about this?