After drinking a gose with salt I started to wonder when the brewers add the salt. Do they add it during the boil or at some other after the boil?