Stav dette: The theory of group representations.