Tipico is a betting agency.