"Out of precaution we are taking a number of additional measures in the Netherlands," the Dutch coordinator for terrorism and security said, adding there would be "extra police patrols at Schipol, Rotterdam and Eindhoven and border controls on the southern border".