Für was wird ethandiol verwendet?