GlobalAnts: a new database on the geography of ant traits (Hymenoptera: Formicidae). Issue 1 (12th December 2016)