Original: It is officially known as Downtown DeLand Historic District.
Simplified: DeLand is a city of Florida in the United States.