Tjuvholmen, Oslo, Spesialproduksjon - badeanlegg