In the event that lands and/or buildings, structures, and so forth, within the city of Williamsburg are donated to the United States and are thereafter revenue producing, the United States shall pay in the treasury of the city of Williamsburg 25 per centum of any rentals included in said revenues, and 25 per centum of the net proceeds of any commercial enterprise there conducted by the United States, such payment into the treasury of the city of Williamsburg not to exceed $20,000 in any year.
(July 3, 1930, ch. 837, § 7, 46 Stat. 856.)