[536] Kocher, ein in der Papierfabrikation zur nassen Reinigung der Hadern verwendeter, aus einem dampf dicht schließbaren Gefäß bestehender Apparat,[536] in welchem die Hadern mit alkalischer Lauge unter Dampfzutritt gekocht werden (s. Papierfabrikation).