15.000 personas cruzan a diario la frontera española para trabajar en Gibraltar. Esperan que el "brexit" no les afecte.