Title: The invention of the stomach pump, and its development in the nineteenth century