13 företag hade fler än 250 anställda , sammanlagt fanns det drygt 9 800 anställda dessa företag .