DRP 733616) bald allgemeine Verwendung fand und bis gegen Ende des zwanzigsten Jahrhunderts in großen Mengen von der chlorchemischen Industrie erzeugt und in Aluminiumhütten und -gießereien verbraucht wurde.