Hot tubbing as only the Germans could do it: warm salt water pools under dark domes that pulse with colored lights and music.