"automorphism group" Deutsche bedeutung