magmatic degassing