Badeverbot am Ludwigsfelder See wird aufgehoben