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