Galois Theory, Hopf Algebras, And Semiabelian Categories door