Undichtes Dach

Hallo. Das Dach im DG war undicht. Es entstand ein sehr großer nasser Fleck an der Decke, inzwischen wurde das Dach repariert. Nun meine Frage, müßte nicht auch die Dämmung mit ausgetauscht werden, da sie ja auch ganz nass geworden ist. Es wurde mir nur mitgeteilt, dass die Dämmung wieder trocknet. Aber ich finde, dass eine Wärmedämmung, wie sie eigentlich sein sollte, nicht mehr stattfindet. Wer hat Recht? Muss die Wärmedämmung erneuert werden?