Der Schaden, den ich am 21. Juli der Stadt gemeldet hatte, war heute tatsächlich repariert. Wann genau das passierte, kann ich nicht sagen, da ich erst heute wieder dort unterwegs war.