Woanders im Internet wird gerade diskutiert, ob man einen kaputten Gusskessel neu einschmelzen und gießen lassen könnte, und das noch als Reparatur gelten würde.