Fredericksburg is a city in and the county seat of Gillespie County, Texas, United States. As of the 2020 Census, this city had a population of 10,875. Fredericksburg was founded in 1846 and named after Prince Frederick of Prussia. From Wikipedia
The anonymous ticketholder chose a $410.3 million lump sum instead of a $893.5 million annuity.
