Describe las mariposas colectadas por Josef Johann Mann (1804-1889) y Julius Lederer (1821-1870).