Damit ist man hoffentlich bald fertig, damit der Pool wieder seinem Zweck dienen kann.