https://123dok.net/document/y962kk1l-on-the-de-rham-witt-complex-mixed-characteristic.html