Calcul rapide dans RF-/STEEL EC3 à l’aide de CRs