Integral geometry of translation invariant functionals, I: The polytopal case

We study translative integral formulas for certain translation invariant functionals on convex polytopes and discuss local extensions and applications to Poisson processes and Boolean models.