Výnosy OKD za devět měsíců dosáhly 5,5 miliardy korun, více než plán na rok