GRAFTECH INTERNATIONAL LTD的平均基本流通股數。