How Big Is Gotham City