[Edinburgh's Christmas 2019 programme (16 November 2019 to 4 January 2020)]