add 'Homomorphismus'