Only MC Spuds for denoising and LimitedSharpenFaster (both after the color correction).

The general workflow was:

Rendering lossless versions of the clip with DeSratch and DeSpot (the latter one at 3 different strengths, so that I have 4 clips in the end: Unchanged, Despot at low settings, DeSpot at medium settings, DeSpot at high settings)
Color correcting the clips and - depending on the amount of artifacts produced and detail killed - choosing which one to use for a scene (and since even the low settings DeSpot erased a lot of the stars in the scene shown in shots 3 - 5, I've used the unfiltered clip here).
Rendering out the color corrected version as lossless video
Filtering that output with MC Spuds and LimitedSharpenFaster, plus cropping and scaling it accordingly.

Ultimately, though, I didn't use the medium and strong DeSpot clips at all, since they produced too many artifacts. They are a good source though to manually paint out bigger dirt marks and hairs.