7:35 am GrafTech Intl misses by $0.06, misses on revs