History of the loss and rediscovery of Erica verticillata