A number of medical treatments and terminologies have been named after which German surgeon, son of a philosopher and philologist, father and grandfather of also well-known pharmacologists, and from 1895 surgeon-in-chief at the University of Leipzig?