så kallade " Pukverket ” vid Armen-Grube skulle såsom mindre tjenligt och förfallet inställas och nedtagas.