Oils and other products of the distillation of high temperature coal tar;