Kompakte Mengen und kompakte Operatoren