They can buy him back for either €9m or €10m over the next two summers, it's 100% happening. And if they don't find a place in their squad (he doesn't have to be guaranteed starter right away) then more fool them. They can sell him on for €60m+ and we can try (and most likely fail) to compete...