December 2020: What’s on in the West End?