Electronic Restoration: Eliminating the Ravages of Time on Historical Maps