what did ernst mayr discover