"But Rotterdam does employ 4,000 people."