Mapping the depth of a valley glacier by radio echo sounding