รายได้ที่ไม่ได้เกิดจากการดำเนินตามปกติ, รวมทั้งหมด ของGrafTech International Ltd.