Dieser Entscheidung kann nicht entnommen werden , dass der EGMR von einem Streikrecht für deutsche Beamte ausgeht oder dass er aus [REF] ein solches Streikrecht für deutsche Beamte ableitet .
Bei dieser Prüfung kann es nach Auffassung des Senats offen bleiben , ob aus [REF] unter Berücksichtung der Rechtsprechung des EGMR überhaupt ein Streikrecht der Beamten abgeleitet werden kann und - bejahendenfalls - ob ein Streikverbot , insbesondere für verbeamtete Lehrer , noch mit [REF] vereinbar ist .