Peter Marius Flydal A classifying space for principal G-bundles with connection, in the category of simplicial presheaves