Conversation so far:
when have manchester united won the champions league
Manchester United have won the Champions League in the years 1968, 1999, and 2008.
when was UCL founded?
The The UEFA Champions League was founded in 1955.
who is the all time top scorer in the UEFA Champions League?
Cristiano Ronaldo is the all time top scorer in the UEFA Champions League.

Question: how many goals did the top scorer make in the league?
Self-contained rewrite: how many goals did the top scorer make in the UEFA Champions league?