Stav dette: Groups of circle diffeomorphisms