[817] Rangeln, mit einem eisernen Haken die vor der Form kalt gewordene Schlacke durchstoßen u. wegnehmen.