"graph automorphism" Deutsche bedeutung