Bayern München (k) mod Roma (k), Champions League, 15. nov 2023