OBERTAUERN – GRÜNWALDKOPF, HOCHALMBAHN