The restoration of Museum Vleeshuis