As there are relatively few arrivals from outside the EU though, even this process won't take long. Count on no more than thirty to forty minutes - as long as there are no issues with your security, of course.