According to topo lines, the peak Finsterkofel was correct before. According to my GPS however, it is further east. High accuracy, I had it turned on both on the way up and then down, identical position (see GPX tracks). Thus, I shifted the peak.