Intrapulmonary gas mixing by D.P.J. Six