Generalstreik am 7. Oktober abgesagt