https://123dok.net/document/zlg18m7r-real-algebraic-spaces.html