“The supply of office real estate is shrinking as some buildings are converted to residential properties or, in areas like Washington D.C., to data centers.”