"rock salt (halite), common salt, table salt, sodium chloride" Deutsche bedeutung