What Should We Do with 45,000 Half-Empty Public Buildings?