El molibdeno había sido extraído durante la Segunda Guerra Mundial, aunque en cantidades modestas.