  We construct proper pushforwards for partially proper morphisms of analytic
adic spaces. This generalises the theory due to van der Put in the case of
rigid analytic varieties over a non-Archimedean field. For morphisms which are
smooth and partially proper in the sense of Kiehl, we furthermore construct the
trace map and duality pairing.
