punta del diavolo 2351 m