Ich will mich nicht darauf versteifen, dass hier mit 100% Sicherheit der Kleine Sattel ist. Wenn nicht mehr verifizierbar ist, welcher Sattel so geheißen hat, ist es objektiv gesehen angebracht, den Namen in OSM ganz wegzulassen.