What are we to do with the fluorinated industrial mining waste now?