diff --git a/src/de/dhbwstuttgart/typeinference/unify/Unify.java b/src/de/dhbwstuttgart/typeinference/unify/Unify.java
index 69b15d40..153fa353 100755
--- a/src/de/dhbwstuttgart/typeinference/unify/Unify.java
+++ b/src/de/dhbwstuttgart/typeinference/unify/Unify.java
@@ -226,10 +226,11 @@ public class Unify
     		    					smaller1elemente = smaller0(p_fc_TA1_new, fc_tto); //Von Menge 2 kopiert und smaller1 durch smaller0 ersetzt, Luar 07-08-08
     		    				} 
     		    					
-    		    				for(Type smele : smaller1elemente) 
+    		    				for(ObjectType smele : smaller1elemente) 
     		    				{
     		    					smallers.add(smele);
-    		    					//smallers.add(new ExtendsWildcardType(smele.getOffset(), smele).clone()); //Auskommentiert luar 07-08-08
+    		    					smallers.add(new ExtendsWildcardType(smele.getOffset(), smele).clone()); //Auskommentiert luar 07-08-08
+    		    					                                                                         //wieder einkommentiert PL 15-03-11
     		    				}
     		    				//Ende
     		    				
@@ -278,14 +279,16 @@ public class Unify
 	    			
 	    			//aus {ty <. ty'} {? extends ty <. ty'} erzeugen //angefuegt PL 15-03-03
 	    			//DIES IST NICHT RICHTIG GETESTET, ES KOENNTE SEIN, DASS DAS KART. PRODUKT FALSCH GEBILDET WIRD.
-	    			Stream<Vector<Pair>> strextergMenge1 = 
-	    				ergMenge1.stream().map(v -> 
-	    									   v.stream().map(pa -> 
-	    									                  new Pair(pa.getTA1Copy(), new ExtendsWildcardType(pa.getTA2Copy().getOffset(), (ObjectType)pa.getTA2Copy()), pa.GetOperator(), pa.bSubst)
-	    									                  ).collect(Vector::new, Vector::add, Vector::addAll));
-	    			
-	    			Vector<Vector<Pair>> extergMenge1 = strextergMenge1.collect(Vector::new, Vector::add, Vector::addAll);
-	    			ergMenge1.addAll(extergMenge1);
+                    //DIES MUEESTE DURCH smallers.add(new ExtendsWildcardType(smele.getOffset(), smele).clone()); weiter ober erledigt sein.
+	       		    //PL 15-03-11
+	    			//Stream<Vector<Pair>> strextergMenge1 = 
+//	    				ergMenge1.stream().map(v -> 
+//	    									   v.stream().map(pa -> 
+//	    									                  new Pair(pa.getTA1Copy(), new ExtendsWildcardType(pa.getTA2Copy().getOffset(), (ObjectType)pa.getTA2Copy()), pa.GetOperator(), pa.bSubst)
+//	    									                  ).collect(Vector::new, Vector::add, Vector::addAll));
+//	    			
+//	    			Vector<Vector<Pair>> extergMenge1 = strextergMenge1.collect(Vector::new, Vector::add, Vector::addAll);
+//	    			ergMenge1.addAll(extergMenge1);
 	    			cartProduktSets.add(ergMenge1);
     			}
     			else if(p.OperatorSmaller() && p.TA2 instanceof GenericTypeVar)