On the diffusion of gases through metals