Evolution of magmatic volatiles during drilling into a magma body, Krafla Iceland.