replaced maxpt with confpt in assessment formula to not punish twice for not enough steps

BewerterStrukturellerInduktion/Bewertung/Bewerter.cs

@@ -62,7 +62,7 @@ namespace Bewertung {
                         InductionCaseConfig icConfig = indConf.GetIndCaseConfig(ic.Constructor);
                         if (icConfig == null) throw new Exception("Cannot find config for induction case " + ic.Constructor.name + ".");
                         double confPt = base.confPt(icConfig.config.maxPt, abstrMaxPt, icConfig.config.minSteps);
-                        aO.findIPA("Fall " + ic.Constructor.name).Assessment = Math.Max(0.0, confPt - icConfig.config.maxPt * errorPoints / Math.Max(1.0, Math.Min(icConfig.config.maxSteps, abstrMaxPt)));
+                        aO.findIPA("Fall " + ic.Constructor.name).Assessment = Math.Max(0.0, confPt - confPt * errorPoints / Math.Max(1.0, Math.Min(icConfig.config.maxSteps, abstrMaxPt)));
                     }
                     foreach (InductionPartAssessment ipa in aO.confIndAssessment)
                         aO.assessment += ipa.Assessment;
@@ -76,7 +76,7 @@ namespace Bewertung {
                     errorPoints = errorPoints / Math.Max(1.0, Math.Min(sConf.maxSteps, aO.AbstractMaxTaskPoints()));
                     if (containsError23(mainLemma)) errorPoints += weights[5];
                     double confPt = base.confPt(aO.task.config.MaxPt(), aO.AbstractMaxTaskPoints(), sConf.minSteps);
-                    aO.assessment = Math.Max(0.0, confPt - (aO.task.config.MaxPt() * errorPoints));
+                    aO.assessment = Math.Max(0.0, confPt - (confPt * errorPoints));
                 }                
             }
             bool containsError23(Lemma lemma)