Stav dette: Ordered groups and infinite permutation groups