what is the name of the first person to reach the top of store knutsholstinden?
(AND geography.mountaineer (JOIN geography.mountaineer.first_ascents m.02q5rg7))