Операционный директор GrafTech International Джереми С. Халфорд уходит в отставку 12 сентября