“ Badeanstalten i Sandefjord *,