https://9dok.net/document/qvl6n5vd-witt-c-the-chinese-remainder-theorem-for-modules.html