https://9dok.net/document/y6emro5g-commutative-algebra-summer-term.html