Siehe alte Karten (mapire.eu etc.). Die Namen sind schon logisch: Der Große Sattelberg ist der Berg neben dem Großen Sattel.
Hoher Ge: https://www.openstreetmap.org/node/1078393940 - den Namen gibt es allerdings noch nicht so lange.