Kategorie:Theorie der kompakten Operatoren auf einem Hilbertraum/Fakten