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