Wilhelm Johann Theodor Mauch — German botanist (1788-1863)