Stav dette: Group representation theory.