Alp Joli and the peaks of the Jegihorn chain
↩