Danska riksdagshuset bar denna sommar undergått en välbehöflig reparation.