I found that $_SERVER['REQUEST_URI'] contains the double slashes. I will use that to redirect to the single-slash-variant.

I don't get how nobody on this thread seamed to understand your problem.