Gaseous HCl was called marine acid air.
Το αέριο HCl ονομαζόταν θαλασσινό οξύ του αέρα.