Das «Morgenmagazin» entfiel, das ZDF sendete ein Ersatzprogramm. In Mainz wird derweil gestreikt.