Zu den Öffnungszeiten:
WERKTAGE sind alle Tage, die nicht Sonn- oder Feiertage
sind. Der normale Samstag ist also ein Werktag, auch
wenn der Bademeister Urlaub hat und die DLRG ihn ver-
tritt.