Update 11-abstraction.scrbl

Line 676: le -> Konstante
Line 816: es ->