Weltmeister Rodri wechselt von City zu Barcelona.