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 .
Es kann nach Auffassung des Senats dahinstehen , ob das generelle Streikverbot für deutsche Beamte - jedenfalls für verbeamtete Lehrer - unter Berücksichtigung der oben zitierten Rechtsprechung des EGMR nicht mehr mit [REF] vereinbar ist  .