The unlikely answer to the question of who would score the first hat-trick in a men's European club final since 1975 came ...