Humidity of basements under the influence of insulation of their ceilings (Translation from German)