text: Vielen Dank für den Hinweis! Es ist wirklich seltsam, dass dieser Weg samt Tor bisher fehlten – das ist schließlich mehr oder minder der Haupteingang!
  
  Ich habe Weg und Tor in https://www.openstreetmap.org/changeset/80843823 eingetragen.