Sollte man den Pool nachts abdecken?