Approximationssatz für kompakte Operatoren