"archimedisch geordnete Gruppe" Englisch