"semigroup" Deutsche bedeutung