the roof of the Capitol building in austin,tx