Local realism for K0-K0bar pairs