(Ceratocystis platani)