Ronaldo set two new Champions League records. He his hat-trick was his third in the competition this season - no other player can match that - nor can anyone else say they have scored 15 or more goals in the Champions League in two different campaigns.