Soczewkowe chmury nad Tatrami – typowy symptom wiatru halnego