Pavle Šegula (1923-2017) in njegov pomen za poznavanje domačih in tujih raziskav s področja kriosfere