OKD nemusí platit přes 2,4 miliardy korun. "Zlepšovák" podle soudu neukradla