  We construct a singular homology theory on the category of schemes of finite
type over a Dedekind domain and verify several basic properties. For arithmetic
schemes we construct a reciprocity isomorphism between the integral singular
homology in degree zero and the abelianized modified tame fundamental group.
