"Conway groups" Deutsche bedeutung