Wie lange dauert eine energetische Dachsanierung?