How many fans are at the Champions League final in Porto?

Pep Guardiola’s side meet Thomas Tuchel’s team in an all-Premier League finale to the European football season in Porto