<human>: Does "Thereafter, research into the partial vacuum lapsed until 1850 when August Toepler invented the Toepler Pump and Heinrich Geissler invented the mercury displacement pump in 1855, achieving a partial vacuum of about 10 Pa (0.1 Torr)." correctly answer the question of What year was the Toepler Pump invented?
OPTIONS:
- yes
- no
<bot>: yes