I want to know the answer to the following question:
How much did Barcelona pay to sign  David Villa?
All the background I'm provided with is that "Rosell signed David Villa from Valencia for €40 million and Javier Mascherano from Liverpool for €19 million.". Is that enough to answer the question?
Answer: yes