Bug-fix: Update der Statistiken (RMs, rProbs) war fehlerhaft aufgrund von unbeabsichtigter Integerdivision.