https://123dok.net/document/qvl1pdm1-remarks-geometry-topology-loop-spaces-h-s-leq.html