Lenstra + Gruppelov

Mangler at gøre gruppenloven færdig.