G,H implementiert, Methoden ord_element und element_exists eingefuegt