Badeanlage Dolliker-Ländeli: Betriebs- und Badeordnung