Vad kallas de anläggningar av bassängområden där havssalt utvinns sedan vattnet avdunstat?