‘The Magic Whip: Made in Hong Kong’ is a 30-minute film about the making of