Poolfolie dick oder dünn - was ist besser?