SAMENVATTING: Rangers FC – Real Betis (Groepsfase Europa League)