Group theory, Autumn 2020 (video lectures)