Except that a lot of our Government buildings were built in the 1970s and are totally reliant upon HVAC which even in the cooler months may struggle with getting enough air flow. (Cooler months, average temp about 23 deg C).

I'm sure that when I'm in the office I'm not getting any fresh air. Only benefit is at the moment about 70% of the workers on any one day are working from home.