Kochstelle, Nationalpark Nockberge