More office space is now being removed than is being added. That should help the recovery in a real estate sector that was crushed by the pandemic.