Restoration of Dokkum town hall