I want to know the answer to the following question:
What was the settlement originally named?
All the background I'm provided with is that "The settlement was named Batmania after Batman.". Is that enough to answer the question?