Badeverbot am Miersdorfer See bleibt bestehen