Öffnung und Betrieb der städtischen Bäder in der Sommersaison 2020