Eigentliche Ikosaedergruppe/Definition