Cohomology on locally compact spaces

We continue with the somewhat awkward terminology where we say
"Hausdorff and locally quasi-compact" in stead of "locally compact".
Proper base change (topological case)