Wie groß ist Florida?