Air Berlin contaba con alrededor de 9200 empleados.