الدخل غير التشغيلي، الإجمالي لـ‎GRAFTECH INTERNATIONAL LTD‎.