Gebäude wurde mit Changeset https://www.openstreetmap.org/changeset/90815877 entfernt. Es stehen noch ein paar Überreste (Stand Freitag, 18. Sep 2020), aber ich denke, diese Note kann geschlossen werden