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