Ein Ausflug auf den Pyramidenkogel lohnt sich offenbar nicht nur untertags.