Soll man Keller im Sommer Lüften?