]> [author note: Herbarium and types unknown] Botany Petri, Friedrich Petri, Friedrich F. Petri Friedrich Petri 1837 1896