Inside a mountain en route to Jungfraujoch