Wann ist die Mauer gefallen? Am 3. Oktober oder nicht?