§ 4

An den bundeseinheitlichen Feiertagen, am 31. Oktober, sowie am 24. und 31. Dezember gelten die Schleusenbetriebszeiten wie an Sonntagen, soweit nichts anderes festgesetzt ist. Das jeweils örtlich zuständige Wasser- und Schifffahrtsamt kann für diese Tage abweichende Schleusenbetriebszeiten festsetzen oder Betriebsruhe anordnen und bekannt geben, soweit der Verkehrsbedarf und betriebliche Belange dies erfordern oder zulassen.