Was tun bei grünen Ablagerungen im Pool?