diff --git a/src/de/dhbwstuttgart/typeinference/unify/Unify.java b/src/de/dhbwstuttgart/typeinference/unify/Unify.java
index 9a990f4c..4cfc0fbe 100755
--- a/src/de/dhbwstuttgart/typeinference/unify/Unify.java
+++ b/src/de/dhbwstuttgart/typeinference/unify/Unify.java
@@ -1499,6 +1499,42 @@ throws MatchException
                     bRegel = true;
                     continue;
                 }
+                
+                if (P.OperatorSmallerExtends())    //PL 15-02-03 Es muessen noch  
+                {	
+                	if(P.TA1 instanceof ExtendsWildcardType && P.TA2 instanceof ExtendsWildcardType)
+                	{                		
+                	
+                		inferencelog.debug("  Extends <? Extends");
+                    
+                		H.add(new Pair(((WildcardType)P.TA1).GetWildcardType(),((WildcardType)P.TA2).GetWildcardType(), PairOperator.Equal));
+                		bRegel = true;
+                		continue;
+                		
+                	}
+                	
+                	if(P.TA1 instanceof SuperWildcardType && P.TA2 instanceof SuperWildcardType)
+                	{                		
+                	
+                		inferencelog.debug("  Super <? Super");
+                    
+                		H.add(new Pair(((WildcardType)P.TA1).GetWildcardType(),((WildcardType)P.TA2).GetWildcardType(), PairOperator.Equal));
+                		bRegel = true;
+                		continue;
+                		
+                	}
+                	
+                	if(P.TA1 instanceof ExtendsWildcardType && P.TA2 instanceof SuperWildcardType)
+                	{                		
+                	
+                		inferencelog.debug("  Extends <? Super");
+                    
+                		H.add(new Pair(((WildcardType)P.TA1).GetWildcardType(),((WildcardType)P.TA2).GetWildcardType(), PairOperator.Smaller));
+                		bRegel = true;
+                		continue;
+                		
+                	}
+                }
     
                 // Subst --> noch zu pr�fen
                 if( P.TA1 instanceof TypePlaceholder && P.OperatorEqual() && useSubst) //&& P.TA2 instanceof RefType )
@@ -1539,7 +1575,7 @@ throws MatchException
                         if( !P.bSubst )
                         {
                             inferencelog.debug("  ================================");
-                            inferencelog.debug("  SUBSTITUTE: in " + E.elementAt(q).toString() + " alle " + P.TA1.getName() + " durch " + P.TA2.getName());
+                            inferencelog.debug("  SUBSTITUTE: in " + H.elementAt(q).toString() + " alle " + P.TA1.getName() + " durch " + P.TA2.getName());
                             inferencelog.debug("  ================================");
                             bRegel  = true;
                             bTempSubst = true;