Der EGMR hat im Hinblick auf die Bundesrepublik Deutschland als Verfahrenspartei in keiner Entscheidung die Feststellung getroffen , dass das Streikverbot der deutschen Beamten gegen Bestimmungen der Konvention - namentlich [REF] - verstoße .
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 .