⚽VAR: Was Tillman’s tackle vs. Arsenal a penalty?

Just when Arsenal looked like they were headed for defeat at Leverkusen, they were awarded a penalty, but should they have been?