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 .
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  .