Zum einen stellt das verfassungsrechtlich verankerte Streikverbot für Beamte in der Bundesreplik Deutschland - wie bereits oben dargelegt - keinen Verstoß gegen [REF] dar .
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  .