Es ist schlecht dass, das Warmwasserbecken ab 17 Uhr an
einigen Tagen für die allgemeinen
Badegäste nicht benutzt werden kann.