Die Gewerkschaft ver.di fordert Beschäftigte im öffentlichen Dienst zum Warnstreik auf. Foto: Marco Verch