Stav dette: Hopf algebras and Galois theory