https://9dok.net/document/y6e48ro5-einf-uhrungindiefunktionalanalysis-a.html