https://9dok.net/document/qo5ldx20-mit-der-operatornorm-istl-e-ein-normierter-raum.html