When I processed the images of Passo Pordoi three years later, I regretted that I had taken a lot of awkwardly framed detail images, but none of the whole view. Closer inspection revealed them to be parts of a panorama though. In the end, stitching in Lightroom and cropping to taste still yielded a whopping 24.400x7060 pixels image 😁