[388] Dampfkochtopf, Digestor, Papinischer Topf, mit einem aufzuschraubenden Deckel verschließbarer Topf aus Gußeisen, Kupfer- oder Eisenblech, in welchem die zu kochenden Speisen über den Siedepunkt hinaus erhitzt werden können und rascher gar werden als in offenen Gefäßen. Bei zu hohem Dampfdruck öffnet sich selbsttätig ein Sicherheitsventil [Abb. 392].