nostr:npub1m3yrv958w62vtyraz80wnr0jututa7uurng037r8g5jzcxjdg0gsw9xqs2 Aber gefeiert wird ja eben nicht das Ende der DDR. Das wäre der 9. November.