"automorphic set" Deutsche bedeutung