On the return from Jungfraujoch, the so called "top of Europe" in the tourist information brochures.