[434] Digéstor (lat.), s.v.w. Dampfkochtopf (s.d. nebst Abb. 392).
Herder-1854: Digestor
Lueger-1904: Digestor
Meyers-1905: Digéstor
Pierer-1857: Digestor