Dealing with the increased radon concentration in thermally retrofitted buildings.