Stav dette: An Introduction to the theory of integra-