aseerel4c26
(der zweite "anonymous" war ich) Man könnte ihn als "loc_name" (siehe https://wiki.openstreetmap.org/wiki/Names ) eintragen. Aber ich selbst kenne den Begriff ja gar nicht, war nur eine Idee. Ob das eintragenswürdig ist überlasse ich den Ortskundigen.