"Coxeter graph" Deutsche bedeutung