Stav dette: Finitely presented infinite simple groups