"congruence class" Deutsche bedeutung