Wie groß ist Mali?