Hallo hikerduo, willkommen bei OpenStreetmap und Danke für Deine Beiträge. Ich wünsche Dir viel Spaß hier! Deine Änderungen schauen gut aus, allerdings habe ich amenity reaktiviert und "disused" hinzugefügt; schau bitte einmal hier:https://wiki.openstreetmap.org/wiki/DE:Key:disused:*. Damit erübrigt sich der Name oder ist der lokal "bekannt"?

Wenn Du Fragen hast, melde Dich gerne bei mir.