Harztor. Die Corona-Krise trübt die Bilanz der diesjährigen Badesaison zusätzlich. Die Tarife am Morgen und zum Feierabend sollen nächstes Jahr nachjustiert werden.