Öffentliche Badeanstalten und Bäder.