Stav dette: Global theory of connections and holonomy groups