How Large Is Gotham City