Highlights: FC Bayern München - RB Leipzig