https://123dok.net/document/q2n7lgp2-a-note-on-stein-spaces-and-their-normalisations.html