Herbstferien 2019: Längere Öffnungszeiten in den Leipziger Schwimmhallen