Denn nicht nur das abstrakte - in Deutschland nach dem oben Ausgeführten weiterhin gültige und zu beachtende - Streikverbot greift in das Menschenrecht des Beamten aus [REF] ein , sondern auch die Sanktionierung der Streikteilnahme im Einzelfall .
Da die Beamten in Deutschland eine solche abgrenzbare Gruppe aller im öffentlichen Dienst Beschäftigten darstellten , wäre ein nur sie betreffendes Streikverbot mit [REF] vereinbar .