Restklassenbildung mit Operationstafeln und PrimeRestklassengruppe.cdy