Fix an oversight in the previous patch in which we did not put stuff into the correct namespace.
Merge pull request #124 from bangerth/fix-c++11-namespace

Fix an oversight in the previous patch in which we did not put stuff into
the correct namespace.