Einsatz von Beamten auf dem Arbeitsplatz eines streikenden Arbeitnehmers