Fredholm-operatoren
Fredholm operators