skall bära namnet Humboldt.