A complete description of how I performed this restoration is in my book, Digital Restoration: Start to Finish.

(Time to restore: approximately six hours.)