]> [collector note: Original herbarium (1815-1830): WAG] Botany Gravenhorst Gravenhorst Johann Ludwig Christian Gravenhorst (1777-1857)?