Kocher

in gewerblichen Betrieben ein Gefäß, das zum Kochen selbst dient (Hadernkocher, Holzkocher, Firniskocher).