[Döderlein, Johann Christoph]