[792] Seifner, 1) der Besitzer eines Seifenwerkes; 2) die Bergleute, welche in den Seifenwerken arbeiten.