a permanent operational headquarters at the military strategic level for military operations of up to 2,500 troops (i.e. the size of one battle group) deployed as part of the Common Security and Defence Policy of the European Union by the end of 2020.