"discrete group" Deutsche bedeutung