Integral over product space

After some testing, I've convinced myself of my implementation being sensible.
I attached the code in case anybody else might be interested.

Thank to Joachim and Christopher, again!

All the best,
Philipp