Brentonico, mountain lake over Brentonico