"generalstreik" in ARD Nachrichten am 2017-10-03