other reactor metals by hot vacuum extraction.