Onderhoudswerkzaamheden aan het Oude Stadhuis te Harderwijk.