First measurement of the volcanic gas output from Anak Krakatau, Indonesia