https://9dok.net/document/y96482gv-seminar-in-summersemester-master-seminar-real-algebraic-geometry.html